### Пример формальной проверки

Описание проекта смотри в статье ["К формальной проверке"][1] на [fpga-systems.ru][2].

[1]: https://fpga-systems.ru/publ/raznoe/poznavatelnoe/k_formalnoj_proverke/16-1-0-224        "К формальной проверке"
[2]: https://fpga-systems.ru/  "fpga-systems.ru"

Собрать модуль

```
iverilog sum_n.v sum_n_tb.v
```

Выполнить симуляцию

```
vvp a.out
```

Посмотреть эпюры

```
gtkwave out.vcd -a sum_n.gtlw
```

Выполнить формальную проверку

```
sby -f sum.sby
```
